first-order logic 뜻

• 1차 논리

• logic:    noun, 논리학, 논리, 조리,
• higher-order logic:    고차 논리
• second-order logic:    2차 논리
• first order (star wars):    퍼스트 오더
• commanders first class of the order of the lion of finland:    핀란드 사자 일등사령관장 수훈자
• knights first class of the order of the lion of finland:    핀란드 사자 일등기사장 수훈자
• recipients of the order of st. george of the first degree:    1등 스뱌토고게오르기 훈장 수훈자
• logic:    noun, 논리학, 논리, 조리, formal(symbolic)~ 형식(기호)논리학
• be in order:    해
• in order:    좋은 상태로; 연속적으로; 염; 의사 규칙에 맞도록; 유행의$1$; 규칙에 맞도록; 순서대로; 정연하게; 적절하여; 잇따르다; 잇따라서
• in order that:    이 … 하기 위하여; 비; 이 … 할 목적으로
• in order to:    이; 할 목적으로; 위하여
• order:    noun, 명령, (법정의) 지령(서), 정돈, 이치, 순서, 정상적인, 성직 수임식, 훈장, (회의 등의) 규칙, 주식, be on ~ 주문중이다, call to ~ (의장이) 정숙을 명하다, give an ~ for ...을 주문하다 vt, 명령하다, 주문하다, 정돈하다 vi, 명령을 내리다, ~ about(around)여러 곳으로 심부름 보내다
• at first:    처음에; 시초에; 처음에는
• first:    adjective, noun, adverb, 제1의, 주요한, 수위의, 제일, 일등, 일위, 최초, 초하루, 첫째로, 최초로, 처음으로, 차라리, 오히려

예문

1. He published another text First-order logic in 1968:
   그는 1968 년 또 다른 텍스트를 먼저 주문 로직 출판 :
2. As one of the founders of "analytic philosophy", Russell is remembered for his work using first-order logic to show how a broad range of denoting phrases could be recast in terms of predicates and quantified variables.
   한 분석 철학 "의 시조는"중 하나로서, 러셀은 그의 작업에 대한 광범위한 방법을 나타내는 문구의 predicates 개주의 관점에서 측정할 수 있고, 변수를 보여 처음 - 질서의 논리를 사용하여 기억하고있다.